home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
NOVA - For the NeXT Workstation
/
NOVA - For the NeXT Workstation.iso
/
Packages
/
TeXmenu2.2
/
ANNOUNCING2.2
next >
Wrap
Text File
|
1992-12-20
|
2KB
|
65 lines
A N N O U N C I N G T E X M E N U V E R S I O N 2 . 2
What is TeXmenu?
TeXmenu is a NeXTstep front end for TeX. It integrates the editor Edit,
TeX in various formats (also custom), some TeX utilities and TeXview in
one environment.
Why upgrading from 2.1?
Various features have been added since version 2.1:
- Configureable app for launching TeX and Postscript files,
nice drag an drop,
- expanded template handling,
- new implementated terminal, customizeable shell,
- TeXmenu is a living app now. It changes it's appearance while
running (watch that!),
- various little changes making it more intuitively(?) again
- even even nicer interface.
Various features have been added since version 2.0:
- A project search option,
- consistent TeX and paper format handling,
- custom TeX formats,
- lots of bugs have been fixed (hope so), especially the
bug crashing TeXmenu v2.0 when closing files and the english
localization,
- actions working a bit more intuitively,
- support for MakeIndex,
- ^C, ^D, ^Z in the shell,
- custom file templates,
- reorganized preferences,
- even nicer interface.
Again a real TeXstep!!!
Where can I find it?
Via anonymous ftp at
fiasko.rz-berlin.mpg.de [141.14.140.32]
22th of june and later [141.14.128.137]
or nova.cc.purdue.edu (128.210.7.22)
in a file named TeXmenu2.2.tar. I've also put binary versions of
MakeIndex and detex in a file named TeXutil.tar.Z to these servers...
How to install?
After untaring TeXmenu2.2.tar read the README file and click on
TeXmenu.pkg.
Like all real TeXstuff TeXmenu v2.2 in the public domain.
I do not give any further support on MakeIndex.
There are no warranties of any kind!
Please send any comments, suggestions, bug reports and acknowledgements.
Gifts are also welcome (you'll find my address in the help file)!
Harald Schlangmann (schlangm@informatik.tu-muenchen.de) NeXTmail ok